Insurance of Cyber Risks in International Transport

The international transport of goods, passengers and luggage is recently facing the threat of cyberattacks. The article is focused on the analysis of the possible cyber risks in the field of the international transport and their management created by the international governmental and non-governmental organisations. The international regulation of the cybersecurity has only recommendatory character and will be subject to future development. That’s the reason why should carriers pay greater attention to all possible cyber security measures. As the instrument of the reduction and mitigation of cyber risks could be used cyber-insurance. The insurance companies are offering insurance cover mainlyon individual base corresponding to the extent of protection required by the policyholder

Contribution à l’ordonnancement dynamique, tolérant aux fautes, de tâches pour les systèmes embarqués temps-réel multiprocesseurs

The thesis is concerned with online mapping and scheduling of tasks on multiprocessor embedded systems in order to improve the reliability subject to various constraints regarding e.g. time, or energy. To evaluate system performances, the number of rejected tasks, algorithm complexity and resilience assessed by injecting faults are analysed. The research was applied to: (i) the primary/backup approach technique, which is a fault tolerant one based on two task copies, and (ii) the scheduling algorithms for small satellites called CubeSats. The chief objective for the primary/backup approach is to analyse processor allocation strategies, devise novel enhancing scheduling methods and to choose one, which significantly reduces the algorithm run-time without worsening the system performances. Regarding CubeSats, the proposed idea is to gather all processors built into satellites on one board and design scheduling algorithms to make CubeSats more robust as to the faults. Two real CubeSat scenarios are analysed and it is found that it is useless to consider systems with more than six processors and that the presented algorithms perform well in a harsh environment and with energy constraints.La thèse se focalise sur le placement et l’ordonnancement dynamique des tâches sur les systèmes embarqués multiprocesseurs pour améliorer leur fiabilité tout en tenant compte des contraintes telles que le temps réel ou l’énergie. Afin d’évaluer les performances du système, le nombre de tâches rejetées, la complexité de l’algorithme et la résilience estimée en injectant des fautes sont principalement analysés. La recherche est appliquée (i) à l’approche de « primary/backup » qui est une technique de tolérance aux fautes basée sur deux copies d’une tâche et (ii) aux algorithmes de placement pour les petits satellites appelés CubeSats. Quant à l’approche de « primary/backup », l’objectif principal est d’étudier les stratégies d’allocation des processeurs, de proposer de nouvelles méthodes d’amélioration pour l’ordonnancement et d’en choisir une qui diminue considérablement la durée de l’exécution de l’algorithme sans dégrader les performances du système. En ce qui concerne les CubeSats, l’idée est de regrouper tous les processeurs à bord et de concevoir des algorithmes d’ordonnancement afin de rendre les CubeSats plus robustes. Les scénarios provenant de deux CubeSats réels sont étudiés et les résultats montrent qu’il est inutile de considérer les systèmes ayant plus de six processeurs et que les algorithmes proposés fonctionnent bien même avec des capacités énergétiques limitées et dans un environnement hostile

Comparison of Enhancing Methods for Primary/Backup Approach Meant for Fault Tolerant Scheduling

This report explores algorithms aiming at reducing the algorithm run-time and rejection rate when online scheduling tasks on real-time embedded systems consisting of several processors prone to fault occurrence. The authors introduce a new processor scheduling policy and propose new enhancing methods for the primary/backup approach and analyse their performances. The studied techniques are as follows: (i) the method of restricted scheduling windows within which the primary and backup copies can be scheduled, (ii) the method of limitation on the number of comparisons, accounting for the algorithm run-time, when scheduling a task on a system, and (iii) the method of several scheduling attempts. Last but not least, we inject faults to evaluate the impact on scheduling algorithms. Thorough experiments show that the best proposed method is based on the combination of the limitation on the number of comparisons and two scheduling attempts. When it is compared to the primary/backup approach without this method, the algorithm run-time is reduced by 23% (mean value) and 67% (maximum value) and the rejection rate is decreased by 4%. This improvement in the algorithm run-time is significant, especially for embedded systems dealing with hard real-time tasks. Finally, we found out that the studied algorithm performs well in a harsh environment

Comparison of Different Methods Making Use of Backup Copies for Fault-Tolerant Scheduling on Embedded Multiprocessor Systems

International audienceAs transistors scale down, systems are more vulnerable to faults. Their reliability consequently becomes the main concern, especially in safety-critical applications such as automotive sector, aeronautics or nuclear plants. Many methods have already been introduced to conceive fault-tolerant systems and therefore improve the reliability. Nevertheless, several of them are not suitable for real-time embedded systems since they incur significant overheads, other methods may be less intrusive but at the cost of being too specific to a dedicated system. The aim of this paper is to analyse a method making use of two task copies when on-line scheduling tasks on multiprocessor systems. This method can guarantee the system reliability without causing too much overhead and requiring any special hardware components. In addition, it remains general and thus applicable to large amount of systems. Last but not least, this paper studies two techniques of processor allocation policies: the exhaustive search and the first found solution search. It is shown that the exhaustive search is not necessary for efficient fault-tolerant scheduling and that the latter search significantly reduces the computation complexity, which is interesting for embedded systems

Fault-Tolerant Online Scheduling Algorithms for CubeSats

International audienceCubeSats are small satellites operating in harsh space environment. In order to ensure correct functionality on board despite faults, fault tolerant techniques taking into account spatial, time and energy constraints should be considered. This paper presents a software-level solution taking advantage of several processors available on board. Two online scheduling algorithms are introduced and evaluated. The results show their performances and the trade-off between the rejection rate and energy consumption. Last but not least, it is stated that ordering policies achieving low rejection rate when using the algorithm scheduling all tasks as aperiodic are the "Earliest Deadline" and "Earliest Arrival Time". As for the algorithm treating arriving tasks as aperiodic or periodic tasks, the "Minimum Slack" ordering policy provides reasonable results

Automobil Industry on the pages of newspaper in year 2007

Bakalářská práce zpracovává kvantitativní obsahovou analýzu tématických rubrik výše jmenovaných deníků na vzorku zahrnujícím všechna vydání v roce 2007. Je soustředěna výhradně na rubriky zaštiťující problematiku automobilismu a jejím cílem je popsat shodnosti a rozdíly v obsahové nabídce, jakým způsobem je vedena, jaký prostor zaujímá, a jaký druh informací svým čtenářům předává. Práce se věnuje segmentaci prostoru na kvantifikovatelné proměnné a výsledky šetření podrobuje statistickým analýzám. Veškerá zjištění jsou prezentována prostřednictvím tabulek a grafů. Výsledkem je kvantitativní popis zvolených tématických celků, který popisuje tématické a prostorové rozčlenění automobilismu jako tématu na stránkách podobných oddělení historicky, vývojově i co se čtenářských základen týká naprosto odlišných deníků deníků. V závěru jsou zodpovězeny otázky na sezonalitu a prostor, který jednotlivé deníky motorismu věnují.Bachelor thesis deals with quantitative content analysis of topical rubrics of newspapers named above involving all releases in 2007. The analysis is focused just on rubrics conversant questions of automotive industry. Its goal is describe similarities and differences in content selections, how it is led along, what space is devoted to it and what kind of information gives to its readers. This thesis is devoted to segmentation of space on quantifiable parameters and outcomes of analysis are put through the statistic analysises . All the findings are presented through schemes and diagrams. An outcome is quantitative description of chosen topical units which describes topical and spatial zoning of automotive industry as a topic presented on pages of totally different newspapers regarding the historical background and different reader's bases. There are answered questions on seasonality and space devoted to motorism.Department of Media StudiesKatedra mediálních studiíFaculty of Social SciencesFakulta sociálních vě

Determination of water in food samples - III

Stanovení vody v jogurtech několika různými metodami - Karl Fischerovou titrací. infračervenou spektroskopií s Fourierovou transformací v blízké a střední infračervené oblasti, sušením v sušárně a infračerveným sušením. Práce porovnává výsledky získané metodami a diskutuje vhodnost použití těchto metod.Katedra analytické chemieDokončená práce s úspěšnou obhajobo

Contribution à l’ordonnancement dynamique, tolérant aux fautes, de tâches pour les systèmes embarqués temps-réel multiprocesseurs

The thesis is concerned with online mapping and scheduling of tasks on multiprocessor embedded systems in order to improve the reliability subject to various constraints regarding e.g. time, or energy. To evaluate system performances, the number of rejected tasks, algorithm complexity and resilience assessed by injecting faults are analysed. The research was applied to: (i) the primary/backup approach technique, which is a fault tolerant one based on two task copies, and (ii) the scheduling algorithms for small satellites called CubeSats. The chief objective for the primary/backup approach is to analyse processor allocation strategies, devise novel enhancing scheduling methods and to choose one, which significantly reduces the algorithm run-time without worsening the system performances. Regarding CubeSats, the proposed idea is to gather all processors built into satellites on one board and design scheduling algorithms to make CubeSats more robust as to the faults. Two real CubeSat scenarios are analysed and it is found that it is useless to consider systems with more than six processors and that the presented algorithms perform well in a harsh environment and with energy constraints.La thèse se focalise sur le placement et l’ordonnancement dynamique des tâches sur les systèmes embarqués multiprocesseurs pour améliorer leur fiabilité tout en tenant compte des contraintes telles que le temps réel ou l’énergie. Afin d’évaluer les performances du système, le nombre de tâches rejetées, la complexité de l’algorithme et la résilience estimée en injectant des fautes sont principalement analysés. La recherche est appliquée (i) à l’approche de « primary/backup » qui est une technique de tolérance aux fautes basée sur deux copies d’une tâche et (ii) aux algorithmes de placement pour les petits satellites appelés CubeSats. Quant à l’approche de « primary/backup », l’objectif principal est d’étudier les stratégies d’allocation des processeurs, de proposer de nouvelles méthodes d’amélioration pour l’ordonnancement et d’en choisir une qui diminue considérablement la durée de l’exécution de l’algorithme sans dégrader les performances du système. En ce qui concerne les CubeSats, l’idée est de regrouper tous les processeurs à bord et de concevoir des algorithmes d’ordonnancement afin de rendre les CubeSats plus robustes. Les scénarios provenant de deux CubeSats réels sont étudiés et les résultats montrent qu’il est inutile de considérer les systèmes ayant plus de six processeurs et que les algorithmes proposés fonctionnent bien même avec des capacités énergétiques limitées et dans un environnement hostile

Analytical procedures for isolation and determination of important antioxidants

Tato práce je zaměřena na izolace a stanovení vybraných antioxidantů v rostlinném materiálu. K tomuto účelu bylo vyuţito široké škály extrakčních metod, a to extrakční metody vyuţívající ultrazvukové lázně (USE) nebo ultrazvukové sondy (HOM), vysokotlakou extrakci rozpouštědlem (PFE), extrakci nadkritickou tekutinou (SFE) a klasickou extrakci v Soxhletově extraktoru. Orientačně byla testována také moţnost provedení výluhu antioxidantů do vody. Získané extrakty byly analyzovány metodou vysokoúčinné kapalinové chromatografie ve spojení se spektrofotometrickým detektorem v UV oblasti (HPLC-UV). Úvodní část je zaměřena na teoretické aspekty celé práce. Jsou zde popsány antioxidanty z hlediska jejich výskytu, vlastností, chemické struktury a jejich účinků v organismu. Dále jsou podrobně popsány extrakční metody jak pro izolaci antioxidantů, tak pro jejich analýzu, včetně kapitoly věnované různým technikám stanovení antioxidační kapacity. V experimentální části práce byly optimalizovány pracovní postupy pro všechny výše uvedené extrakční metody. Zvolené podmínky byly aplikovány na izolaci antioxidantů z 16 reálných vzorků rostlin. Dále byla vyvinuta vhodná HPLC-UV metoda, která byla pouţita při analýze získaných extraktů. U všech extraktů byla také stanovena jejich antioxidační kapacita. K tomuto účelu byla vyuţita metoda zaloţená na redukci 2,2-difenyl-1-pikrylhydrazyl radikálu (DPPH*), přičemž hodnota byla vyjádřena jako ekvivalent kyseliny galové (GAE).This dissertation is focused on isolation and analysis of target antioxidant mixture in plant material. For this purpose several extraction techniques were used. These were ultrasonic bath extraction method (USE), ultrasonic probe extraction method (HOM), pressurised fluid extraction (PFE), supercritical fluid extraction (SFE) and method using the Soxhlet extractor. Water infusion was also tested. All obtained extracts were analysed by high performance liquid chromatography coupled with ultraviolet detector (HPLC-UV). The first part deals with theoretical aspects of the work. Antioxidants, their occurrence, characteristics, chemical structures and their effect on organisms are described. Also the fundamentals of the analytical methods for antioxidant extraction and their analysis are mentioned there. One chapter is also focused on different methods for antioxidant capacity evaluation. All extraction techniques were optimised in the experimental part of this work. Also the HPLC-UV method suitable for antioxidant analysis was optimised. Obtained conditions were applied for the 16 real plant samples analyses. The antioxidant capacity of all plant extracts was measured. For this purpose the method using the 2,2-diphenyl-1-picrylhydrazyl radical (DPPH?) reduction was used, while the antioxidant capacity value was expressed as gallic acid equivalent (GAE).Katedra analytické chemieKomise souhlasí s tím, aby posudek oponentky doc. RNDr. Ireny Valterové, CSc. prezentoval předseda komise. Předseda komise doc. Ing. Jan Fischer, CSc. představil dizertanta a seznámil členy komise se základními životopisnými údaji.Vedoucí práce prof. Ing. Karel Ventura, CSc. prezentoval hodnocení dizertanta včetně jeho studijních a vědeckých výsledků. Prof. Ventura rovněž prezentoval stanovisko pracoviště k předkládané doktorské práci. Dizertant prezentoval výsledky doktorské práce a zodpověděl dotazy oponentů a členů komise. Proběhla diskuse týkající se posudků oponentů a především prezentovaných výsledků dizertační práce. Předseda konstatoval, že nebyly doručeny žádné písemné připomínky k dizertační práci. Komise i oponentka byli s prezentovanými výsledky i se závěry dizertanta včetně odpovědi na dotazy spokojeni. Diskuse proběhla i nad otázkou možností kvantifikace antioxidantů v reálných vzorcích i nad metodami určení detekčních limitů

Contamination for Stochastic Integer Programs

The requirement on some of the variables to be integer appears quite naturally in many optimization problems. The complexity of such models and the incomplete information force us usually to solve only an approximated stochastic program instead of the original model. A postoptimality analysis is then quite necessary. Application of the contamination method on stochastic integer programs will be described.Stochastic integer programming. Contamination technique. Stability. Sensitivity